基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

基于OOCPN结线分析和反向推理的城市轨道交通牵引供电系统故障诊断方法

基于面向对象的思想和有色Petri网理论,构建库所的令牌,描述城市轨道交通牵引供电系统中组成结点的元件、开关及结点的含源性质,进而建立城市轨道交通牵引供电系统结线分析的OOCPN(Object-Ori-ented Colored Petri-Nets)模型。求解该模型可确定城市轨道交通牵引供电系统的故障域;然后结合专家经验以及牵引变电所综合自动化系统轮询到的保护动作信息,通过反向推理遍历搜索该故障域,对故障元件进行定位;根据专家推理规则以及城市轨道交通牵引变电所内的保护配合关系,判断开关的拒动行为。以城市轨道交通牵引供电系统馈线短路且馈线开关拒动为例进行验证,结果表明:提出的城市轨道交通牵引供电系统故障诊断方法能够实现对故障元件的准确定位和开关拒动行为的判断。     

城市轨道交通资产管理初探

分析我国城市轨道交通资产管理的现状,认为城市轨道交通的发展日益迅速,资产管理的效果直接影响了城市轨道交通企业的效益.通过介绍国际上应用广泛的资产管理标准,并借鉴香港地铁的成功经验,阐明先进、适用的资产管理方式应该符合PAS55-1规范要求,立足于资产的整个寿命周期,采用基于风险的管理政策,既强调计划又因资产的表现而适当调整.     

直线电机轨道交通系统的地面电阻制动仿真

通过对列车进行的牵引计算、对地面电阻制动的功率确定和地面电阻制动斩波器的设置计算机仿真分析,介绍直线电机驱动城市轨道交通列车起制动频繁,为了减少车载设备,降低列车重量,减少直线电机功率要求,以及地铁隧道内的温升,所以采用地面电阻制动。     

铝合金车身零部件设计研究

文章通过对铝合金发动机盖设计流程的描述,通过对比铝合金与钢的不同点,归纳了铝合金发盖设计所需要关注的要点,并提供了铝合金板材选择的方式。在不同于钢制发动机盖的点上提出了设计要求,明确了铝合金发盖的设计方法。     

基于层次分析法的拉萨市交通安全评价模型研究

随着拉萨市经济水平的发展,城市道路交通安全变成了人们较为重视的社会问题。为改善道路交通安全现状,本文将从人为、车辆、道路和环境四个评价指标,采用层次分析法构建交通安全评价模型,对拉萨市交通安全进行评价分析,为城市道路交通安全提供参考依据。     

基于UWB定位的邮轮乘员伴随关系发现算法

准确发现邮轮内部空间乘客之间的伴随关系, 在室内环境安装UWB定位设备开展室内人员定位实验。根据UWB定位的位置数据特点, 提出结合室内位置语义的Hausdorff-DBSCAN算法以聚类邮轮乘员轨迹, 并利用LSTM神经网络对疑似伴随关系对象进行相似度变化趋势的预测。传统的Hausdorff算法在计算轨迹相似度时未考虑轨迹时序一致的问题, 引入位置语义序列能够较好地解决这个问题。改进后的Hausdorff-DBSCAN算法的输入为乘员轨迹数据集, 根据轨迹整体相似度阈值选定聚类半径, 输出具有伴随关系的乘员轨迹聚类结果; LSTM神经网络以定长时间窗口的点邻近度序列为输入, 预测后1个时刻点邻近度值, 结合轨迹相似度阈值和预测结果分析乘员伴随关系的时序变化。利用Anylogic建模单层邮轮室内环境进行乘员仿真得到的轨迹数据验证算法的有效性。改进的Hausdorff-DBSCAN算法的准确率为0.920, 召回率为0.950, F₁值为0.934, 准确率高出对比算法至少5.7%, 召回率高出对比算法至少8.0%, F1值高出对比算法至少6.7%。同时LSTM在预测邮轮乘员之间相似度变化时, 收敛后的误差值能保持在3%~4%左右, 预测结果具有较高的准确性。      

一种含内部结构的水下圆柱壳振动声辐射计算方法

为解决含内部结构的水下圆柱壳振动声辐射快速预报问题,提出一种解析-数值混合方法.将整个结构分为水下圆柱壳和内部结构两部分,采用轴对称边界元法得到圆柱壳表面声阻抗,结合Flügge壳体理论,建立水下圆柱壳的数理模型;采用有限元法建立内部结构的动力学模型.根据圆柱壳与内部结构接触点的位移协调和内力平衡条件,建立整个结构的动力学方程,求解方程得到壳体表面振动速度,再采用边界元法得到声场中任意一点的辐射声压.通过与数值软件计算结果对比,验证了本文方法的正确性.本文方法在改变内部结构进行多方案对比分析时具有显著的计算速度优势.     

市政道路标志标线存在的问题及改善措施研究

With the transfer of rural population to cities, the municipal engineering construction is becoming more and more rapid, in which the investment in the urban roads convenient for citizens to travel and transport is increasing year by year. With the increasing frequency of the use of municipal roads, the signings and markings playing the role of warning and indication expose some problems that need to be solved urgently, which seriously affect the function and comfort of municipal roads. Based on a detailed analysis of the existing problems and impacts of the signings and markings of municipal road engineering in China, the targeted improvement measures are proposed to ensure the perfection of the functions of signings and markings and improve the efficiency of vehicle traffic, which escort the safety, convenience and comfort of municipal road engineering.     

长江下游江阴水道下段开通上行副航道可行性研究

结合江阴水道的航道自然条件,分析江阴水道的河床演变、航道条件及经济效益等,研究江阴水道下段开通上行副航道可行性,并提出相应的开通方案。结果表明,按照现有的自然条件并考虑利用一定的水位,江阴水道下段具备开通一定等级上行副航道的条件。考虑到江阴水道航道条件虽然近年来良好,但航道关系情况复杂,建议开通副航道等级为I-4,按照通航3 000吨级海船及7 000吨级内河船要求确定航道尺度,航标配布采用虚拟航标。